 Print the dominance tree for a given CFG.